1. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
پدیدآورنده : علی اکبر پیمان
کتابخانه: Virtual Library (Digital) Alphabet (Tehran)
موضوع : نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
2. ورودي به منطق رياضي
پدیدآورنده : نوشته ايزائيل سالامونوويچ ,ترجمه پرويز شهرياري
کتابخانه: Public Library of Falavarjan (Esfahan)
موضوع : مجموعه ها-نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
3. ورودي به منطق رياضي , قضيه مستقيم و قضيه معکوس
پدیدآورنده : اسرائيل سالامونويچ گرادشتين ترجمه پرويز شهرياري,قضيه مستقيم و معکوس
کتابخانه: Public Library of Meymand (Fars)
موضوع : مجموعه ها - نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
4. ورودي به منطق رياضي قضيه مستقيم و قضيه معکوس
پدیدآورنده : ايزائيل گرادشتين ترجمه پرويز شهرياري
کتابخانه: Public Library of Kharameh (Fars)
موضوع : مجموعه ها - نظريه ها منطق صوري و رياضي
رده :
511
3-
گ
248
و
5. ورودي به منطق رياضي,قضيه مستقيم و معکوس
پدیدآورنده : ايسرائيل سالامونويچ کرادشتين,ترجمه پرويز شهرياري
کتابخانه: Public Library of Bahr Al-Olum (Khorasan Razavi)
موضوع : مجموعه نظريه منطق صوري رياضي
رده :
511
3-
گ
248
و
6. ورودی به منطق،قضیه مستقیم وقضیه معکوس
پدیدآورنده : / نوشته ایزائیل سالامونوویچ گرادشتین،ترجمه پرویز شهریاری
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : مجموعه ها- نظریه,منطق صوری ریاضی
رده :
۵۱۲
/
۹۰۴۲
گ
۲۴۸
و